integer subtraction